Mutation Testing in the Refinement Calculus

This article discusses mutation testing strategies in the context of refinement. Here, a novel generalisation of mutation testing techniques is presented to be applied to contracts ranging from formal specifications to programs. It is demonstrated that refinement and its dual abstraction are the key notions leading to a precise and yet simple theory of mutation testing. The refinement calculus of Back and von Wright is used to express concepts like contracts, useful mutations, test cases and test coverage.     

A Self-Tuning Evolutionary Algorithm Applied to an Inverse Partial Differential Equation

Evolutionary algorithms (EAs) are becoming increasingly popular tools for solving complex search problems. Their popularity in various problem domains has led to the introduction and development of numerous variants of two standard EA operators—crossover and mutation. Unfortunately, there are few if any effective guidelines for choosing which operators will be most effective in a given problem. In this paper, a self-tuning EA is introduced that employs several crossover and mutation operators simultaneously. The probability of using a given operator changes during the course of an evolutionary run whereby the most effective operators are selected based on which part of the search space is currently being explored. The self-tuning EA is used to solve an inverse partial differential equation—considered to be one of the more difficult problems in the realm of engineering mathematics. Results indicate that for the particular inverse partial differential equation considered, the self-tuning EA provides an effective solution methodology.     

狄利克雷积分的几种计算方法

利用含参量非正常积分的一些性质,给出了狄利克雷积分integral from n=0 to +∞(sinx)的几种计算方法。     

应用型计算机专业学生培养模式探讨

本文探讨了应用型本科院校中计算机专业学生的培养模式,提出了培养高级计算机应用人才的根本途径和当前要解决的主要问题。     

案例教学法在《企业管理学》教学中的应用

案例教学法是提高学生综合能力十分有效的方法。在应用此方法的过程中，要做好教学的准备工作，明确教学目标，选择好符合目标、难度适宜的案例，并进行案例内容分析、确定重点及教学实施等问题的酝酿筹划。在案例教学的课堂组织中，教师要做好主持人和导演的角色，把握好阅读分析、小组研讨、发言交流和总结归纳四个阶段。     

一种基于模糊概率推理和遗传算法相结合的变压器故障诊断研究

在概率因果推理模型的基础上,引入模糊理论,重新建立了模糊概率因果变压器故障诊断模型,并从非线性组合优化的角度提出了该模型的GA求解策略。这对较快、较准确地搜索变压器故障提供了一种新的思路。实验数据表明:该文提出的新方法同时提高了并发性故障和单故障的识别率。     

高效率多硫化钠/溴储能电池的研究

采用高温还原的方法制备了多硫化钠/溴储能电池负极用Ni/C催化剂,Ni/C、Pt/C分别是多硫化钠/溴储能电池负极和正极性能良好的电催化剂。系统地研究了Nafion膜的厚度、电催化剂含量、操作条件对电池充放电性能的影响。采用较厚的膜,电池性能稍微降低,但可减少阴离子的渗透。这种新型储能电池放电时功率密度达到0 7W/cm2(U=1 0V)。循环性能研究表明:采用较厚的膜,电池的充放电性能好,性能衰减很小,在100mA/cm2充放电,电压效率达到86 7%。     

一种质子交换膜燃料电池电堆控制器

介绍了一种以PIC16C73微处理器芯片为核心的质子交换膜燃料电池电堆控制器 ,利用微处理器特殊的A/D转换和脉宽调制PWM输出功能 ,并使用一总线式数字测温器件DS18B2 0 ,LCD液晶显示 ,极其简便地实现了控制器的各项控制要求。     

内回流循环流化床烟气脱硫运行特性分析

简要介绍内回流循环流化床烟气脱硫的基本原理、系统流程，从石灰品质、运行参数、运行方式等方面分析该系统的运行特性，从脱硫塔差压、雾化水流量等方面分析该系统的核心控制特点。     

质子交换膜燃料电池电极用气体扩散层材料

通过分析质子交换膜燃料电池(PEMFC)电极用气体扩散层的功能特点及性能要求,对几种常用于PEMFC电极中的气体扩散层材料,如碳纤维纸、碳纤维编织布、非织造布及炭黑纸等进行了评述,介绍了它们的基底制作工艺及后处理工艺,同时对几种典型的憎水处理方法作了简要的说明。针对各种气体扩散层材料存在的缺陷,指出研究开发具有高性能的气体扩散层材料将有利于改善PEMFC电极的综合性能。